Semantic Trace Comparison at Multiple Levels of Abstraction
نویسندگان
چکیده
a DISIT, Computer Science Institute, University of Piemonte Orientale, Alessandria, Italy; b Department of Computer Science, University of Torino, Italy; c Department of Electrical, Computer and Biomedical Engineering, University of Pavia, Italy; d Istituto di Ricovero e Cura a Carattere Scientico Fondazione C. Mondino, Pavia, Italy on behalf of the Stroke Unit Network (SUN) collaborating centers
منابع مشابه
Comparison Criteria for Ontological Multi-Level Modeling
Ontological multi-level modeling refers to describing domain objects at multiple levels of abstraction. Using traditional semantic data modeling, multi-level modeling can be achieved by representing objects in different abstraction hierarchies, classification, aggregation and generalization. Multiple representation, however, leads to accidental complexity, complicating modeling and extension. S...
متن کاملAbstraction techniques for verification of multiple tightly coupled counters, registers and comparators
ion Techniques for Veri cation of Multiple Tightly Coupled Counters, Registers and Comparators Yee-Wing Hsieh Steven P. Levitan Department of Electrical Engineering Department of Electrical Engineering University of Pittsburgh University of Pittsburgh [email protected] [email protected] Abstract We present new non-deterministic nite state machine (NFSM) abstraction techniques for comparators ba...
متن کاملComputer Science at Kent Semantic Modulation of Temporal Attention: Distributed Control and Levels of Abstraction in Computational Modelling
1 Introduction There are now many different approaches to the computational modelling of cognition, e.g. and neurophysiologically prescribed connectionist models (O'Reilly & Munakata, 2000). The relative value of different approaches is a hotly debated topic, with each presented as an alternative to the others; that is, that they are in opposition to one another, e.g. However, an alternative pe...
متن کاملModeling Techniques in Design-by-Refinement Methodologies
Embedded system design methodologies that are based on the effective use of multiple levels of abstraction hold promise for substantial productivity gains. Starting the design process at a high level of abstraction improves control over the design and facilitates verification and synthesis. In particular, if we use a rigorous approach to link the levels of abstraction, we can establish properti...
متن کاملSemantic Flow Graph: A Framework for Discovering Object Relationships in Flow Fields
Visual exploration of flow fields is important for studying dynamic systems. We introduce semantic flow graph (SFG), a novel graph representation and interaction framework that enables users to explore the relationships among key objects (i.e., field lines, features, and spatiotemporal regions) of both steady and unsteady flow fields. The objects and their relationships are organized as a heter...
متن کامل